package model;

public class StartMarkingTreeElement extends MarkingTreeElement{

	public StartMarkingTreeElement(final Marking marking) {
		super(marking);
	}

	@Override
	public boolean containsSubmarkingOfTransitive(final Marking marking) {
		return false;
	}

	@Override
	protected boolean containsTransitive(final Marking marking) {
		return false;
	}

	@Override
	public Marking getStartMarking() {
		return this.getMarking();
	}

}
